Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
151	Timing Faults in Safety Critical Systems Case Study: Patriot Missile Defence System Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2010-11-03 07:33:10 Cross-platform software Mathematical modeling Numerical software Simulink Tool Computing Simulation software Visual programming languages Software
152	Microsoft Word - Verified for Windows Server 2003 Test Specification 1.0.doc Add to Reading List Source URL: www.medcalc.org Language: English - Date: 2010-09-23 11:46:03 Windows Server Windows Vista Windows Windows XP Windows NT Microsoft App-V Features new to Windows XP Security and safety features new to Windows Vista Microsoft Windows System software Software
153	Microsoft Word - GoldKey PIV Manual-7.12B.docx Add to Reading List Source URL: www.goldkey.com Language: English - Date: 2014-06-26 17:26:46 Software Encryption software Computing Encryption Windows Explorer Security and safety features new to Windows Vista Cryptographic software System software Disk encryption
154	Microsoft Wordrevised Add to Reading List Source URL: rs.ieee.org Language: English - Date: 2011-06-08 19:41:18 Engineering Software quality Systems engineering Reliability engineering Safety Soft error Fault injection Fault-tolerant system Digital electronics Electronic engineering Computing Fault-tolerant computer systems
155	Flow-Insensitive Type Qualifiers JEFFREY S. FOSTER University of Maryland, College Park and ROBERT JOHNSON and JOHN KODUMAL University of California, Berkeley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-02-01 19:06:12 Type safety Type inference Type system Theoretical computer science Type theory Programming language theory Software engineering
156	SAFETY GUIDED SPACECRAFT DESIGN USING MODEL-BASED SPECIFICATIONS Cody Fleming(1), Takuto Ishimatsu(1), Yuko Miyamoto(2), Haruka Nakao(3) , Masa Katahira(2), Nobuyuki Hoshino(3), John Thomas(1) , Nancy Leveson(1), (1) Ma Add to Reading List Source URL: sunnyday.mit.edu Language: English - Date: 2012-04-10 10:18:18 Space technology Spaceflight Reliability engineering Chemical engineering Software quality Control theory Hazard analysis System safety Spacecraft design Spacecraft Safety engineering Systems engineering
157	CareFacts® Information Systems, Inc. Your Software Partner for Home Care, Hospice and Public Health Add to Reading List Source URL: www.carefacts.com Language: English - Date: 2012-09-17 13:08:42 Health informatics Nursing informatics Practice management software Electronic health record Omaha System Clinical point of care Patient safety Health Medicine Medical informatics
158	Programming as collaborative reference (full presentation) Oleg Kiselyov and Chung-chieh Shan We argue that programming-language theory should face the pragmatic fact that humans develop software by interacting with comp Add to Reading List Source URL: okmij.org Language: English - Date: 2012-02-02 23:14:00 Computer programming Data types Programming paradigms Notation Programming language Type system Type inference Type safety Logic programming Software engineering Type theory Computing
159	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
160	Affiliated Helps Fire Safety Services Increase Productivity, Reduce Costs and Improve Customer Service with Integrated IT Network and CRM Solution Introduction Aging computer system a drag on Add to Reading List Source URL: www.aresgrp.com Language: English - Date: 2011-10-05 15:23:34 Business software Microsoft Dynamics CRM Microsoft Dynamics Microsoft Email ERP software Information technology management Business Computing

UPDATE